first-order predicate
一阶谓词
热门查询
- interdict n. 禁令；禁止 vt. 阻断，封锁；禁止
- axiom n. [数] 公理；格言；自明之理
- recreational adj. 娱乐的，消遣的；休养的
- effrontery n. 厚颜无耻
- unromantic adj. 平淡无奇的
- neatness n. 干净，整洁
- prove vi. 证明是 vt. 证明；检验；显示
- damon n. 达蒙（罗马神话中的西西里人, 与Pythisa为生死之交）；戴蒙（男子名）
- transforming v. 转化，转变（transform的ing形式）
- bb abbr. 滚珠轴承（ball bearing）；铅笔芯（double black）
- ballgame n. （美）棒球运动
- conceiving 构想 怀孕 考虑（conceive的现在分词）
- cretinism n. 白痴病；呆小症
- accused n. 被告 v. 指责；控告（accuse的过去式） adj. 被控告的
- Walkinshaw [人名] [英格兰人姓氏] 沃金肖 Walkingshaw的变体
- psychically adv. 精神上
- prime minister n. 首相；总理 [网络] 丞相；宰相；英国首相
- fleshly adj. 肉体的；肉欲的；耽于声色的
- specie n. 硬币；铸币
- crossing n. 十字路口；杂交；横渡；横道 v. 横越（cross的现在分词）
考试词汇表
- pinger profiler
- pingoedo cordis
- pingpong paddle
- pingpong tables
- pinhead blister
- pinhead oatmeal
- pinhole failure
- pinhole filters
- pinhole grinder
- pinhole housing
- pinhole imaging
- pinhole nippers
- pinhole plotter
- pini aetherolea
- pinion and rack
- pinion and-rack
- pinion shimming
- pinitannic acid
- pinite-porphyry
- pinjalo pinjalo
